$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), ${\it as}$, ${\it bs}$:$T$ List. list{-}diff(${\it eq}$;${\it as}$;${\it bs}$) $\in$ $T$ List